import java.io.File;

// 文件重命名.
public class IODemo7 {
    public static void main(String[] args) {
        // 重命名
        File file = new File("some-file"); // 要求 some-dir 得存在，可以是普通文件，可以是目录
        File dest = new File("HaHa"); // 要求 HaHa 不存在
        System.out.println(file.exists()); // true
        System.out.println(dest.exists()); // false
        System.out.println(file.renameTo(dest));// 进行文件改名, 成功返回 true
        System.out.println(file.exists()); // false
        System.out.println(dest.exists()); // true
    }
}
